$x$ $<<$ $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E(${\it Sys}$). $x$ before $y$ $\in$ ${\it chain}$($e$)